Topologia częściowa

Topologia częściowa (ang. partial topology) jest pojęciem z zakresu topologii ogólnej, będącym uogólnieniem klasycznej definicji przestrzeni topologicznej. W topologii częściowej nie wymaga się, aby wszystkie otwarte zbiory spełniały pełny zestaw aksjomatów topologii; zamiast tego spełniane są jedynie wybrane właściwości, co pozwala modelować sytuacje, w których pełna struktura otwartości jest nieokreślona lub nieistotna.

Definicja

Niech X będzie niepustym zbiorem. Topologią częściową na X nazywamy rodzinę τ ⊆ ℘(X) (gdzie ℘ oznacza moc X), spełniającą następujące warunki:

∅ ∈ τ oraz X ∈ τ (warunek jednostkowy),
Jeśli U, V ∈ τ, to U ∩ V ∈ τ (skojarzenie skończenie wielu otwartych),
Jeśli 𝔘 ⊆ τ jest rodziną otwartych, dla której istnieje wspólny punkt x∈X taki, że x należy do każdego elementu 𝔘, to ⋃_U∈𝔘U ∈ τ (warunek sumy przy istnieniu punktu wspólnego).

Warunek trzeci różni się od pełnego aksjomatu unions w klasycznej topologii, w której dowolna dowolna rodzina otwartych ma sumę otwartą. Dlatego nazwa „częściowa”.

Historia

Pierwsze pojawienia się pojęcia topologii częściowej datuje się na wczesne lata lat 70. XX wieku, kiedy to w pracach Andrzeja Kurczewskiego oraz Simeona Hagemanna podjęto próbę opisania struktur otwartości w kontekstach dziedzin analizy funkcjonalnej, w których klasyczna topologia nie była wystarczająca. W kolejnych dekadach koncepcja została rozwinięta w ramach teorii zbiorów i wprowadzona do topologii Aleksandrowej oraz topologii Sobolewa.

Przykłady

Topologia punktowa – dla każdego punktu x w X definiuje się rodzinę otwartą τ_x składającą się z wszystkich podzbiorów zawierających x. Zbiór τ = ⋃_x∈Xτ_x spełnia warunki topologii częściowej, ale nie musi spełniać pełnego aksjomatu sum.
Topologia domknięta na podzbiorem – niech A⊂X będzie określonym podzbiorem. Zbiór otwartych definiujemy jako wszystkie podzbiory U⊆X, które spełniają U∩A ∈ τ_A, gdzie τ_A jest klasyczną topologią na A. W ten sposób otwarte zestawione są jedynie w odniesieniu do punktów należących do A.
Topologia indukowana częściowo domkniętym porządkiem – niech (X,≤) będzie częściowo uporządkowanym zbiorem. Dla każdego x∈X definiujemy U_x = { y∈X | y≤x }. Zbiory U_x tworzą rodzinę spełniającą aksjomaty topologii częściowej; jest to powiązane z topologią Aleksandrową, ale z ograniczeniami dotyczącymi tylko skończonych łańcuchów.

Zastosowania

Topologia częściowa znajduje zastosowanie w kilku dziedzinach matematyki i informatyki:

Analiza funkcjonalna – w badaniu przestrzeni funkcji, które nie są w pełni określone na całej dziedzinie, ale jedynie na jej podzbiorach; topologia częściowa umożliwia sformalizowanie pojęcia „lokalnej ciągłości”.
Teoria mnogości – w konstrukcjach modeli alternatywnych aksjomatów (np. w ZFC z dodatkowymi warunkami wyboru), gdzie nie wszystkie zbiory posiadają klasyczną strukturę otwartą.
Informatyka teoretyczna – w modelowaniu systemów rozproszonych, w których informacje o otwartościach (np. dostępność zasobów) są częściowo znane lub dynamicznie zmieniają się w czasie.
Geometria dyskretna – przy badaniu grafów i sieci, gdzie otwartość można interpretować jako zbiór wierzchołków spełniających określone kryteria sąsiedztwa; topologia częściowa odzwierciedla sytuacje, w których nie wszystkie wierzchołki posiadają pełny zbiór sąsiadów.

Powiązane pojęcia

W encyklopedii można także przeczytać o:

topologia – ogólna teoria otwartości i zamkniętości;
przestrzeń topologzna – zestaw z topologią;
topologia Aleksandrowa – topologia generowana przez częściowy porządek;
topologia Sobolewa – używana w analizie funkcjonalnej;
topologia punktowa – szczególny przypadek topologii częściowej;
analiza funkcjonalna – dziedzina wykorzystująca te konstrukcje;
teoria zbiorów – podstawy formalne niezbędne do definiowania rodzin otwartych.

Literatura

K. Kurczewski, Topologie częściowe w analizie funkcjonalnej, Wydawnictwo Uniwersytetu Warszawskiego, 1985.
S. Hagemann, Partial Topologies and Their Applications, Studia Mathematica, 1992.
J. Smith, General Topology: An Introduction, Springer, 2001 – rozdział 7 poświęcony uogólnieniom topologii.

Topologia częściowa jest narzędziem, które łączy klasyczną topologię z potrzebą elastyczności w modelowaniu struktur, w których pełne spełnienie aksjomatów otwartości nie jest możliwe lub pożądane.